BRICS Basic Research in Computer Science BRICS RSDavid & M¨oller: From Hierarichcal Timed Automata to U PPAAL

Source URL: www.brics.dk

Microsoft Word - CLOCKSS Overview - basic.doc

Source URL: www.clockss.org

• Archival science
• Library science
• LOCKSS
• Academia
• Open access
• Preservation
• Library
• University of Hong Kong
• Knowledge
• Digital libraries
• Academic publishing
• Publishing

BRICS RSBiernacka & Danvy: A Concrete Framework for Environment Machines BRICS Basic Research in Computer Science

Source URL: www.brics.dk

The Institute of Computer Science III at the University of Bonn, Germany, is searching for: Three full time PhD students in the field of Semantic Web / Linked Data. On top of a generous basic salary we offer a mobility a

Source URL: www.iai.uni-bonn.de

Manual for the Landscape Model (first draft, ; please send comments, questions to Paul van den Broek at Pvdbroek@tc

Source URL: www.brainandeducationlab.nl

• Attention-deficit hyperactivity disorder
• Creativity
• Dyslexia
• Problem solving
• Working memory
• Subroutine
• BASIC
• Computer programming
• Mind
• Cognitive science

Functional Foods Task Force ABOUT THE TASK FORCE Specific components of the diet can bring benefits beyond those of basic nutrition. However, these beneficial effects need to be supported by scientific evidence before th

Source URL: www.ilsi.org

• Health
• Food and drink
• Health sciences
• Applied sciences
• International Life Sciences Institute
• Functional food
• Health claims on food labels
• Bioactive plant food compounds
• Nutrition
• Food science
• Food industry

BRICS RSBRICS Basic Research in Computer Science

Source URL: www.brics.dk

• Physics
• Quantum computer
• Quantum circuit
• Density matrix
• Quantum channel
• Commitment scheme
• BB84
• Qubit
• Quantum key distribution
• Theoretical computer science
• Quantum information science
• Quantum mechanics

BRICS Basic Research in Computer Science BRICS RSJ. B. Nielsen: Non-Committing Encryption is Too Easy in the Random Oracle Model Non-Committing Encryption is Too Easy in

Source URL: www.brics.dk

BRICS DS-04-3 J. Groth: Honest Verifier Zero-knowledge Arguments Applied BRICS Basic Research in Computer Science

Source URL: www.brics.dk

• Group signature
• IP
• NP
• Commitment scheme
• Soundness
• BRIC
• Alice and Bob
• Cryptography
• Cryptographic protocols
• Zero-knowledge proof

BRICS Basic Research in Computer Science BRICS DS-01-9 F. F. Rodler: Compression with Fast Random Access

Source URL: www.brics.dk